Automated type testing